Stichworte: 32-Bit-Betriebssystem, x64-basierter Prozessor